/FONT#1=NGR30/FONT#2=BDI25/FONT#3=CTL25/FONT#4=NGB25/FONT#11=SIGN57/FONT#15=FIX25/FONT#12=FOOBAZ[  U,REG]/FONT#5=BDJ25[  1,RWG]/FONT#6=BDJ20/FONT#7=GRKL50[ MA,JAM]/FONT#8=GRKL30[ MA,JAM]/FONT#9=BDR40
␈↓↓␈↓α␈↓β␈↓∧␈↓␈↓∂␈↓␈↓ β{␈↓P␈↓βrogram to␈↓ O␈↓βutput on␈↓ X␈↓βerox Graphics Printer
␈↓ ↓H
␈↓ ∧	␈↓∧By Robert Elton Maas, with revisions by Ralph E. Gorin
␈↓ ↓H
␈↓β␈↓ ∧p[this page was last edited 1975 JAN 30]
␈↓ ↓H
␈↓β

␈↓ α_POX␈αis␈α
a␈α
program␈α
for␈α
making␈α
documents␈α
that␈α
take␈α
advantage␈α
of␈α
the␈α
special␈α
features␈α
available␈α
on␈α
the␈α
Xerox
␈↓ ↓H
␈↓ ↓HGraphics␈α
Printer␈α
(XGP).␈α
The␈α
special␈α
features␈α
that␈α
POX␈α
provides␈α
are␈αmainly␈αfont␈αswitching␈αand␈αtext␈αjustification.
␈↓ ↓H
␈↓ ↓H(There␈α
are␈α
some␈α
other␈α
features,␈α
but␈α
a␈α
novice␈α
user␈α
need␈α
not␈α
be␈α
concerned␈α
with␈α
them␈α
at␈α
present.)
␈↓ ↓H

␈↓ ↓H
␈↓ α_POX␈α∞takes␈α
a␈α
file␈α
as␈α
input␈α
and␈α
produces␈α
an␈α
output␈α
file␈α
that␈α
is␈α
suitable␈α
for␈α
spooling␈α
with␈α
the␈α
XGP␈α
spooler
␈↓ ↓H
␈↓ ↓H(XSPOOL␈αcommand).␈αThe␈αinput␈αfile␈αcontains␈αinstructions␈α
to␈α
POX␈α
and␈α
the␈α
text␈α
of␈α
the␈α
document.␈α
POX␈α
takes␈α
character
␈↓ ↓H
␈↓ ↓Hsequences␈αas␈αcommands.␈αEach␈αcommand␈αsequence␈αis␈αpreceded␈αby␈αa␈αcharacter,␈αcalled␈αthe␈α␈↓αEscape␈αCharacter␈↓β.␈αThe
␈↓ ↓H
␈↓ ↓Hfirst␈α
character␈α
in␈α
the␈α
file␈α
(ignoring␈α
TV␈α
directories␈α
and␈α
SOS␈α
line␈α
numbers)␈α
is␈α
taken␈α
by␈α
POX␈α
as␈α
the␈α
escape␈α
character.
␈↓ ↓H
␈↓ ↓HThus,␈α
the␈α
user␈α
gets␈α
to␈α
specify␈α
the␈α
escape␈α
character.␈α
The␈α
escape␈αcharacter␈αcan␈αbe␈αarbitrary,␈αbut␈αreason␈αdictates
␈↓ ↓H
␈↓ ↓Hthat␈α
it␈α
should␈α
be␈α
some␈α
character␈α
that␈α
appears␈α
infrequently␈α
(or␈αnot␈αat␈αall)␈αin␈αthe␈αtext␈αof␈αthe␈αdocument.␈αCommon
␈↓ ↓H
␈↓ ↓Hchoices␈αfor␈αthe␈αescape␈αcharacter␈αare␈α
\␈α
_␈α
and␈α
$.␈α
In␈α
the␈α
remainder␈α
of␈α
this␈α
document,␈α
the␈α
character␈α
␈↓1␈↓β␈α
represents␈α
the
␈↓ ↓H
␈↓ ↓Hcurrent␈αEscape␈αCharacter.␈αAfter␈αeach␈α
command␈α
description␈α
is␈α
a␈α
list␈α
of␈α
special␈α
justify␈α
modes␈α
where␈α
the␈α
command␈α
is
␈↓ ↓H
␈↓ ↓Hallowed.␈α∀The␈α∀complete␈α∀list␈α∀is␈α∀(U␈α∀J␈α∀CR)␈α∀which␈α∀refer␈α∀to␈α∀Unjustified(normal),␈α∀Justify,␈α∀and␈α∪Center/Rightify
␈↓ ↓H
␈↓ ↓Hrespectively.
␈↓ ↓H

␈↓ ↓H
␈↓ α_To␈α∂run␈α∂POX,␈α∂use␈α∂the␈α∂system␈α∂command␈α∂R␈α∂POX.␈α∂POX␈α∂wants␈α∂to␈α∂see␈α∂a␈α∂command␈α∂of␈α∂the␈α∂form:␈α∂<OUTPUT
␈↓ ↓H
␈↓ ↓HFILE>←<INPUT␈α
FILE>.␈α
If␈αthe␈α<OUTPUT␈αFILE>␈αterm␈αis␈αomitted␈αthen␈αthe␈αoutput␈αfile␈αwill␈αhave␈αthe␈αsame␈αname␈αas
␈↓ ↓H
␈↓ ↓Hthe␈α
input␈α
file,␈α
and␈α
".XGP"␈α
extension.␈α
If␈α
the␈α
extension␈α
is␈α
omitted␈α
on␈α
the␈α
output␈α
file,␈α
".XGP"␈α
will␈α
be␈α
used.
␈↓ ↓H

␈↓ ↓H
␈↓ α_If␈αall␈αis␈αwell␈αwith␈αthe␈αinput␈αfile,␈αPOX␈αwill␈αrun␈αand␈αproduce␈αan␈αoutput␈αfile␈αsuitable␈αfor␈αXSPOOLing.␈α
POX␈α
will
␈↓ ↓H
␈↓ ↓Hload␈α
the␈α
appropriate␈α
XSPOOL␈α
command␈α
into␈α
your␈α
line␈α
editor,␈α
so␈α
all␈α
you␈α
have␈α
to␈α
do␈α
is␈α
type␈α
return␈α
to␈α
spool␈α
the␈α
file.
␈↓ ↓H

␈↓ ↓H
␈↓ α_(POX␈α∂may␈α∂be␈α∂used␈α∂as␈α∂post-processor␈α∂for␈α∂some␈α∂other␈α∂program,␈α∂such␈α∞as␈α∞XLITER.␈α∞In␈α∞this␈α∞case,␈α∞POX␈α∞can
␈↓ ↓H
␈↓ ↓Haccept␈α
certain␈α
system␈α
XGP␈α
escape␈α
sequences␈α
at␈α
some␈α
places␈α
in␈α
the␈α
input␈α
file.)
␈↓ ↓H

␈↓ ↓H
␈↓ α_Below␈α∂is␈α∂a␈α∂list␈α∂of␈α∂commands,␈α∂where␈α∂␈↓∂<N>␈↓β␈α∂represents␈α∞a␈α∞character␈α∞in␈α∞the␈α∞range␈α∞of␈α∞0,1,2,...,9,A,B,...,F␈α∞that
␈↓ ↓H
␈↓ ↓Hspecifies␈α
the␈α
font␈α
ID␈αnumber,␈α␈↓∂<KH>␈↓β␈αrepresents␈αany␈αcharacter,␈αand␈α␈↓∂<FONT>␈↓β␈αrepresents␈αa␈αfont␈αfilename␈α(defaults
␈↓ ↓H
␈↓ ↓Hare␈α
.FNT[XGP,SYS])
␈↓ ↓H

␈↓ ↓H
␈↓1␈↓∂M<N><FONT>;␈↓ βH␈↓ β"␈↓β(causes␈αthe␈αfont␈αto␈αbe␈αcompiled␈α[note,␈αif␈αit␈αis␈αalready␈αcompiled,␈αthis␈αcommand␈αmerely
␈↓ β"
␈↓ β"maps␈αfrom␈αthe␈αlogical␈αfont␈αnumber␈αyou␈αselected␈αto␈αthe␈αalready-compiled␈αsystem␈αfont
␈↓ β"
␈↓ β"number],␈α
and␈α
selects␈α
it␈α
now)␈α
(U)
␈↓ β"
␈↓ ↓H␈↓1␈↓∂F<N>␈↓ αH␈↓ βH␈↓ β"␈↓β(selects␈α
a␈α
font␈α
which␈α
has␈α
already␈α
been␈α
compiled)␈α
(U␈α
J␈α
CR)
␈↓ β"
␈↓ ↓H␈↓1␈↓∂f<N>␈↓ αH␈↓ βH␈↓ β"␈↓β(selects␈α
a␈α
font␈α
for␈α
just␈α
one␈α
character,␈α
then␈α
back␈α
to␈α
old␈α
font)␈α
(U␈α
J␈α
CR)
␈↓ β"
␈↓ ↓H␈↓1␈↓∂;␈↓ αH␈↓ βH␈↓ β"␈↓β(everything␈αuntil␈αnext␈αcrlf␈αis␈αa␈αcomment,␈αtyped␈αon␈αtty␈α
but␈α
not␈α
included␈α
in␈α
output␈α
file,
␈↓ β"
␈↓ β"the␈αcrlf␈αis␈αflushed␈αtotally␈α--␈αactually,␈αthe␈αmost␈αfrequent␈αusage␈αof␈αthis␈αcommand␈αis␈αto
␈↓ β"
␈↓ β"break␈αup␈αa␈αvery-long␈αinput␈α
line␈α
without␈α
causing␈α
<crlf>␈α
to␈α
appear␈α
in␈α
the␈α
middle␈α
of␈α
the
␈↓ β"
␈↓ β"output)␈α
(U)
␈↓ β"
␈↓ ↓H␈↓1␈↓∂,␈↓ αH␈↓ βH␈↓ β"␈↓β(same␈αas␈α␈↓1␈↓∂;␈↓β␈αexcept␈αit␈αflushes␈αthrough␈αnext␈αpage␈αmark␈αor␈αform-feed␈α--␈αnot␈αvalid␈αin
␈↓ β"
␈↓ β"paragraph␈α
mode␈α
etc.)␈α
(U)
␈↓ β"
␈↓ ↓H␈↓1␈↓∂J␈↓ αH␈↓ βH␈↓ β"␈↓β(begins␈αfull-justify␈αsubmode,␈αuse␈α␈↓1␈↓β.␈αto␈αexit␈αthis␈αmode,␈αappend␈α<crlf>,␈αand␈αflush␈αinput
␈↓ β"
␈↓ β"data␈αthrough␈αnext␈α<crlf>␈α--␈αwhile␈αin␈αthis␈αmode,␈αthe␈αonly␈αsystem␈αrubout-style␈αescape
␈↓ β"
␈↓ β"command␈α
that␈α
is␈α
legal␈α
in␈α
the␈α
input␈α
file␈α
while␈α
in␈αthis␈αmode␈αor␈αthe␈αcenter␈αor␈αrightify
␈↓ β"
␈↓ β"mode␈α
is␈α
"change␈α
font")␈α
(U)
␈↓ β"
␈↓ ↓H␈↓1␈↓∂R␈↓ αH␈↓ βH␈↓ β"␈↓β(begins␈α⊃align-text-against-right-margin-mode,␈α⊂until␈α⊂the␈α⊂next␈α⊂<crlf>␈α⊂(output␈α⊂<crlf>
␈↓ β"
␈↓ β"and␈αgo␈αto␈αnext␈αline)␈α␈↓1␈↓β;␈α(no␈α<crlf>,␈αflush␈αinput␈αthrough␈αnext␈α<crlf>)␈αor␈α␈↓1␈↓β.␈α(no␈α<crlf>,
␈↓ β"
␈↓ β"resume␈αinput␈αparsing␈αimmediately)␈αoccurs␈α--␈αthe␈αlatter␈αtwo␈αwill␈αallow␈αoverprinting)
␈↓ β"
␈↓ β"(U)
␈↓ β"
␈↓ ↓H␈↓1␈↓∂C␈↓ αH␈↓ βH␈↓ β"␈↓β(begins␈α
center-the-line␈α
mode,␈α
similar␈α
to␈α
␈↓1␈↓∂R␈↓β)␈α
(U)
␈↓ β"
␈↓ ↓H␈↓α␈↓ β!This writeup is ␈↓↓POX.POX[CSP,DOC] or [1,REM]  ␈↓βp.2 [edited 75.1.30]
␈↓ ↓H

␈↓ ↓H
␈↓↓␈↓ ελREGISTERS
␈↓ ↓H
␈↓β␈↓ α_There␈α⊂are␈α⊂128␈α⊂registers␈α⊂which␈α⊂can␈α⊂hold␈α∂any␈α∂36-bit␈α∂integer,␈α∂such␈α∂as␈α∂the␈α∂horizonal␈α∂coordinate␈α∂of␈α∂some
␈↓ ↓H
␈↓ ↓Hcolumn␈αon␈αthe␈αpage.␈αThe␈αidea␈αis␈αto␈αallow␈αspecification␈αof␈αmulti-column␈αtables␈α
and␈α
␈↓αsuperscripts-above-subscripts␈↓β
␈↓ ↓H
␈↓ ↓Hin␈α⊂an␈α⊂easy␈α⊂and␈α⊂flexable␈α⊂way,␈α⊂including␈α⊂automatic␈α⊂allocation␈α⊂of␈α⊂such␈α⊂things␈α∂as␈α∂"␈↓α1/5␈α∂of␈α∂a␈α∂page␈↓β"␈α∂by␈α∂simple
␈↓ ↓H
␈↓ ↓Hdivision.␈α∂Each␈α∂register␈α∂is␈α∂specified␈α∂by␈α∂an␈α∂ASCII␈α∂character␈α∂␈↓α(note␈α∂that␈α∂"␈↓∂a␈↓α"␈α∂and␈α∂"␈↓∂A␈↓α"␈α∂are␈α∞not␈α∞the␈α∞same␈α∞--␈α∞in
␈↓ ↓H
␈↓ ↓Hgeneral,␈α⊗POX␈α⊗distinguishes␈α⊗between␈α⊗upper-␈α⊗and␈α⊗lower-case␈α⊗characters)␈↓β.␈α⊗Register␈α∃∀␈α∃is␈α∃called␈α∃the
␈↓ ↓H
␈↓ ↓H"␈↓αaccumulator␈↓β"␈αand␈αis␈αthe␈αintermediate␈αstorage␈αfor␈αall␈αsequences␈αof␈αarithmetic␈αcalculation.␈αOther␈αspecial␈αregisters
␈↓ ↓H
␈↓ ↓Hare␈α⊂listed␈α⊂below,␈α⊂as␈α⊂well␈α⊂as␈α⊂characters␈α⊂that␈α⊂don't␈α⊂specify␈α⊂registers␈α⊂at␈α⊂all.␈α⊂␈↓αWarning␈α⊂--␈α∂non-alphanumeric
␈↓ ↓H
␈↓ ↓Hregister␈α∞names␈α∞are␈α∞liable␈α∞to␈α
be␈α
changed␈α
to␈α
special␈α
hacks␈α
like␈α
"."␈α
and␈α
","␈α
without␈α
warning.␈α
Therefore,
␈↓ ↓H
␈↓ ↓Hplease␈α
use␈α
only␈α
alphanumeric␈α
register␈α
names␈α
in␈α
files␈α
that␈α
are␈α
important.
␈↓ ↓H

␈↓ ↓H
␈↓↓MEANING OF ARGUMENT(S) TO THE COMMANDS:
␈↓ ↓H
␈↓∂<KH>␈↓ αH␈↓ βH␈↓β␈↓ β"If␈α
not␈α
mentionned␈α
below,␈α
contents␈α
of␈α
register␈α
corresponding␈α
to␈α
that␈α
character.
␈↓ β"
␈↓ ↓H␈↓∂. ␈↓β(Period)   ␈↓ β"Current␈α⊃column␈α⊃location␈α⊃is␈α⊃stored␈α⊃in␈α⊃this␈α⊃register␈α⊂--␈α⊂Every␈α⊂time␈α⊂a␈α⊂character␈α⊂is
␈↓ β"
␈↓ β"written,␈α
this␈α
register␈α
is␈α
updated␈α
to␈α
account␈α
for␈α
the␈α
space␈αused␈αup␈αby␈αthe␈αcharacter,
␈↓ β"
␈↓ β"and␈α
if␈α
you␈α
write␈α
in␈α
this␈α
register,␈α
a␈α
column␈α
select␈α
will␈α
be␈α
generated␈α
in␈α
your␈αoutput
␈↓ β"
␈↓ β"file␈αto␈αreally␈αput␈αyou␈αthere.␈αNote␈αhowever␈αthat␈αthis␈αregister␈αis␈αnot␈αupdated␈αwhile␈αin
␈↓ β"
␈↓ β"justify␈α
or␈α
center/rightify␈α
mode.
␈↓ β"
␈↓ ↓H␈↓∂, ␈↓β(Comma)    ␈↓ β"Works␈αlike␈αperiod,␈αcurrent␈αrelative␈αposition␈αof␈αtext␈α
above␈α
baseline␈α
(if␈α
negative,␈α
below
␈↓ β"
␈↓ β"baseline)␈α
--␈α
thus␈α
␈↓1␈↓∂←Q␈↓1␈↓∂→,␈↓β␈α
replaces␈α
␈↓1␈↓∂↑Q␈↓β␈α
and␈α
␈↓1␈↓∂↓Q␈↓β␈α
and␈α
more...
␈↓ β"
␈↓ ↓H␈↓∂L␈↓ αH␈↓ βH␈↓β␈↓ β"Left␈α
margin␈α
is␈α
stored␈α
in␈α
this␈α
register.
␈↓ β"
␈↓ ↓H␈↓∂R␈↓ αH␈↓ βH␈↓β␈↓ β"Right␈α
margin␈α
is␈α
stored␈α
in␈α
this␈α
register.
␈↓ β"
␈↓ ↓H␈↓∂'<OCTAL DIGITS>;␈↓ ∧H
␈↓ ↓H
␈↓β␈↓ β"Instead␈αof␈αreading␈αa␈αnumber␈αfrom␈αa␈αregister,␈αthese␈αoctal␈α
digits␈α
are␈α
assembled␈α
into␈α
an
␈↓ β"
␈↓ β"unsigned␈α
constant␈α
and␈α
that␈α
constant␈α
acts␈α
as␈α
an␈α
immediate␈α
operand␈α
(READONLY).
␈↓ β"
␈↓ ↓H␈↓∂=<DECIMAL DIGITS>;
␈↓ ↓H
␈↓ αH␈↓β␈↓ β"Same␈α
as␈α
above␈α
except␈α
decimal␈α
conversion␈α
(READONLY).
␈↓ β"
␈↓ ↓H␈↓∂w<KH>␈↓ αH␈↓β␈↓ β"Width␈α
of␈α
that␈α
character␈α
in␈α
current␈α
font␈α
(READONLY).
␈↓ β"
␈↓ ↓H␈↓ α_␈↓α[The following require a special flag to be set, see page 4]
␈↓ ↓H
␈↓∂H␈↓ αH␈↓ βH␈↓β␈↓ β"Total␈α
height␈α
of␈α
any␈α
character␈α
in␈α
current␈α
font␈α
(READONLY).
␈↓ β"
␈↓ ↓H␈↓∂h␈↓ αH␈↓ βH␈↓β␈↓ β"Height␈α
above␈α
baseline␈α
of␈α
any␈α
character␈α
in␈α
current␈α
font␈α
(READONLY).
␈↓ β"
␈↓ ↓H
␈↓ ↓H
␈↓↓THE COMMANDS, WHERE "Q" REPRESENTS AN ARGUMENT:
␈↓ ↓H
␈↓1␈↓∂←Q␈↓ αH␈↓β(Load ac from Q) (U J CR)
␈↓ ↓H
␈↓1␈↓∂+Q␈↓ αH␈↓β(ac plus Q, result in ac) (U J CR)
␈↓ ↓H
␈↓1␈↓∂-Q␈↓ αH␈↓β(ac minus Q, result in ac) (U J CR)
␈↓ ↓H
␈↓1␈↓∂¬Q␈↓ αH␈↓β(Q minus ac, result in ac) (U J CR)
␈↓ ↓H
␈↓1␈↓∂*Q␈↓ αH␈↓β(ac times Q, result in ac) (U J CR)
␈↓ ↓H
␈↓1␈↓∂/Q␈↓ αH␈↓β(ac divided by Q, result (quotient) in ac) (U J CR)
␈↓ ↓H
␈↓1␈↓∂\Q␈↓ αH␈↓β(Q divided by ac, result (quotient) in ac) (U J CR)
␈↓ ↓H
␈↓1␈↓∂~Q␈↓ αH␈↓β(maximum of ac and Q, result in ac) (U J CR)
␈↓ ↓H
␈↓1␈↓∂_Q␈↓ αH␈↓β(minimum of ac and Q, result in ac) (U J CR)
␈↓ ↓H
␈↓1␈↓∂→Q␈↓ αH␈↓β(store contents of ac into Q, readonly-type operands not allowed) (U J CR)
␈↓ ↓H
␈↓1␈↓∂↑Q␈↓ αH␈↓β(move text up Q/200 inch with respect to the baseline -- OBSOLETE) (U)
␈↓ ↓H
␈↓1␈↓∂↓Q␈↓ αH␈↓β(move text down Q/200 inch ith respect to the baseline -- OBSOLETE) (U)
␈↓ ↓H
␈↓1␈↓∂∩␈↓ αH␈↓β(up to default superscript location) (U J CR)
␈↓ ↓H
␈↓1␈↓∂∪␈↓ αH␈↓β(down to default subscript location) (U J CR)
␈↓ ↓H
␈↓1␈↓∂⊗␈↓ αH␈↓β(back to normal baseline from superscript or subscript, don't forget this!) (U J CR)
␈↓ ↓H
␈↓1␈↓∂ULAWR␈↓ αH␈↓ αK␈↓β(underline␈αfrom␈αcolumn␈αL␈αto␈αcolumn␈αR,␈αon␈αrelative␈αscan␈αline␈αA␈α(A>0␈αmoves␈αthe␈αunderline
␈↓ αK
␈↓ αKdown),␈α
with␈α
line␈α
thickness␈α
W.␈α
Each␈α
argument␈α
may␈α
be␈α
a␈α
register␈α
or␈α
a␈α
special␈α
operand)␈α
(U)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂j␈↓β ␈↓1␈↓∂r␈↓β or ␈↓1␈↓∂c
␈↓ ↓H
␈↓ αH␈↓β␈↓ αK(same␈α∞as␈α∞␈↓1␈↓∂J␈α
␈↓1␈↓∂R␈α
or␈α
␈↓1␈↓∂C␈↓β␈α
except␈α
they␈α
set␈α
up␈α
temporary␈α
margins␈α
from␈α
registers␈α
l␈α
and␈α
r,
␈↓ αK
␈↓ αKthen␈α
restore␈α
L␈α
and␈α
R␈α
to␈α
their␈α
old␈α
values␈α
upon␈α
exit)␈α
(U)
␈↓ αK
␈↓ ↓H␈↓α␈↓ β This writeup is ␈↓↓POX.POX[CSP,DOC] or [1,REM]  ␈↓βp.3 [edited 75.1.30]
␈↓ ↓H

␈↓ ↓H
␈↓1␈↓∂'<OCTAL DIGITS>;
␈↓ ↓H
␈↓ αH␈↓ αK␈↓β(accepts␈αan␈αoctal␈αvalue␈αand␈αtransmits␈α
it␈α
preceded␈α
by␈α
a␈α
rubout.␈α
This␈α
is␈α
used␈α
for␈α
printing␈α
the
␈↓ αK
␈↓ αKcharacters␈α
that␈α
are␈α
hidden␈α
under␈α
octal␈α
values␈α
0,11,12,13,14,15␈α
and␈α
177.)␈α
(U)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂P␈↓ αH␈↓ αK␈↓β(Push␈α
ac)␈α
(U␈α
J␈α
CR)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂p␈↓ αH␈↓ αK␈↓β(Pop␈α
ac)␈α
(U␈α
J␈α
CR)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂VXYxyW␈↓ βH␈↓β␈↓ αK(draw␈α∂a␈α∂vector␈α∂of␈α∂␈↓αHORIZONAL␈↓β␈α∂width␈α∞W␈α∞between␈α∞(X,Y)␈α∞and␈α∞(x,y)␈α∞(Each␈α∞argument␈α∞is
␈↓ αK
␈↓ αKeither␈α
a␈α
register␈α
or␈α
a␈α
special␈α
operand)␈α␈↓α(actually␈αthey␈αare␈αtall␈αskinny␈αparallelograms
␈↓ αK
␈↓ αKwhich␈α∂get␈α∂increasingly␈α∂bad␈α∞as␈α∞they␈α∞approach␈α∞horizonal␈α∞--␈α∞POX␈α∞does␈α∞nothing␈α∞to
␈↓ αK
␈↓ αKimprove␈α∀the␈α∀looks␈α∀of␈α∀diagonal␈α∀vectors,␈α∀but␈α∀exactly␈α∪horizonal␈α∪vectors␈α∪(which
␈↓ αK
␈↓ αKwouldn't␈αwork␈αat␈αall␈αnormally)␈αare␈αreplaced␈αby␈αa␈αvertical␈αvector␈αthat␈αis␈αvery␈αvery
␈↓ αK
␈↓ αKwide␈α⊃and␈α⊃very␈α⊃very␈α⊃short)␈↓β.␈α⊃Vectors␈α⊃must␈α⊃be␈α⊃presented␈α⊃with␈α⊃MIN(Y,y)␈α⊃in␈α⊃ascending
␈↓ αK
␈↓ αKsequence.␈α
␈↓α(This␈α
sequence␈α
also␈α
applies␈αto␈αtext␈αon␈αthe␈αpage,␈αwhose␈αvertical␈αlocation,
␈↓ αK
␈↓ αKhowever,␈α⊂is␈α⊂not␈α⊂usually␈α⊂known,␈α⊂thereby␈α⊂making␈α⊂mixtures␈α⊂of␈α∂justified␈α∂text␈α∂and
␈↓ αK
␈↓ αKabsolutely-located␈α∞vectors␈α∞virtually␈α∞impossible␈α∞to␈α∞do.)␈↓β␈α∞Coordinates␈α∞are␈α∞measured␈α
in
␈↓ αK
␈↓ αKusual␈α∞XGP␈α∞coordinates.␈α∞X␈α∞increases␈α∞from␈α∞left␈α∞to␈α∞right.␈α∞X=0␈α∞is␈α∞the␈α∞left␈α∞edge.␈α
Y␈α
increases
␈↓ αK
␈↓ αKfrom␈αtop␈αto␈αbottom,␈αwith␈αY=0␈αbeing␈αthe␈αtop␈αedge.␈αAn␈αincrement␈αof␈α
1␈α
in␈α
either␈α
coordinate␈α
is
␈↓ αK
␈↓ αKapproximately␈α5␈αmils.)␈αOne␈αfinal␈αwarning␈αwith␈αvectors␈αis␈αnot␈αto␈αattempt␈αto␈αdo␈αanything␈αat
␈↓ αK
␈↓ αKthe␈α
very␈α
top␈α
of␈α
the␈α
first␈α
page␈α
(system␈α
needs␈α
time␈α
to␈α
get␈α
started␈α
loading␈α
buffers).␈α
(U)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂vXYxyt␈↓ βH␈↓ αK␈↓β(same␈α
as␈α
above␈α
except␈α
t␈α
is␈αthickness␈α--␈αi.e.␈αW=SQRT(t↑2*(dx↑2+dy↑2)/dy↑2)␈α--␈αif␈αdy=0
␈↓ αK
␈↓ αKsame␈α↔as␈α↔above␈α↔--␈α↔therefore,␈α⊗although␈α⊗almost-horizonal␈α⊗vectors␈α⊗will␈α⊗still␈α⊗be␈α⊗ugly
␈↓ αK
␈↓ αKparallelograms,␈α
they␈α
will␈α
be␈α
the␈α
desired␈α
thickness␈α
--␈α
NOT␈α
YET␈α
IMPLEMENTED)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂|<KH>␈↓ αH␈↓ βH␈↓ αK␈↓β(changes␈α
the␈α
escape␈α
character␈α
to␈α
␈↓∂<KH>␈↓β)␈α
(U)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂S␈↓ αH␈↓ βH␈↓ αK␈↓β(generates␈α
a␈α
sample␈α
of␈α
the␈α
currently-selected␈α
font)␈α
(U)
␈↓ αK
␈↓ ↓H␈↓11␈↓ αλ␈↓ αH␈↓ βλ␈↓ αK␈↓β(quotes␈α
the␈α
escape␈α
character␈α
--␈α
SOON␈αTO␈αBE␈αREPLACED␈αBY␈αSOMETHING␈αBETTER)␈α(U␈αJ
␈↓ αK
␈↓ αKCR)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂YQ␈↓ αH␈↓ αK␈↓β(Set␈αabsolute␈αY␈αposition␈αfor␈αtop␈αscan␈αline␈αof␈αthis␈α
text␈α
line␈α
relative␈α
to␈α
top␈α
of␈α
page␈α
(if␈α
no␈α
text
␈↓ αK
␈↓ αKline␈αis␈αcurrently␈αactive,␈αapply␈α
to␈α
the␈α
next␈α
text␈α
line).␈α
Increasing␈α
Q␈α
moves␈α
down␈α
the␈α
page!␈α
--
␈↓ αK
␈↓ αKWARNING␈α
--␈α
If␈α
Q␈α
is␈α
very␈α
large␈α
it␈α
will␈α
probably␈α
make␈α
the␈α
XGP␈α
spooler␈α
go␈α
beserk.)␈α
(U)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂λ␈↓ αH␈↓ αK␈↓β(If␈αpositive,␈αset␈αinterline␈αspace␈α(i.e.␈αnumber␈αof␈α1/200␈αinch␈αfrom␈αbottom␈αof␈αlowest␈αsubscript
␈↓ αK
␈↓ αKin␈α∂each␈α∞text␈α∞line␈α∞to␈α∞top␈α∞of␈α∞highest␈α∞superscript␈α∞in␈α∞next␈α∞text␈α∞line)␈α∞from␈α∞ac.;␈α∞If␈α∞0,␈α∞restore
␈↓ αK
␈↓ αKnormal␈α
spacing;␈α
If␈α
negative,␈α
error,␈α
reserved␈α
for␈α
future␈α
use)␈α
(U)
␈↓ αK
␈↓ ↓H
␈↓ ↓H
␈↓↓␈↓ βiNew Features -- Macros and Require Source Files
␈↓ ↓H
␈↓β␈↓ α_All␈α⊃input␈α⊃to␈α⊃the␈α⊃POX␈α⊃text␈α⊃processor␈α⊃passes␈α⊂through␈α⊂a␈α⊂pre-processor␈α⊂which␈α⊂inserts␈α⊂macro␈α⊂bodies␈α⊂and
␈↓ ↓H
␈↓ ↓Hrequested␈α
source␈α
files␈α
in␈α
the␈α
middle␈α
of␈α
the␈α
input␈α
stream␈α
according␈α
to␈α
the␈α
following␈α
commands:
␈↓ ↓H
␈↓1␈↓∂∞<NAME><OPEN><BODY><CLOSE>
␈↓ ↓H
␈↓ αH␈↓ βH␈↓β␈↓ αK(define␈αa␈α
macro␈α
for␈α
use␈α
later␈α
--␈α
note␈α
that␈α
in␈α
names␈α
of␈α
macros,␈α
just␈α
like␈α
almost␈α
everywhere
␈↓ αK
␈↓ αKelse,␈α
lower␈α
case␈α
is␈α
not␈α
the␈α
same␈α
as␈α
upper␈α
case,␈α
thus␈α
␈↓∂foo␈α
Foo␈α
fOO␈α
FOO␈α
fOo␈α
foO␈α
FoO
␈↓ αK
␈↓ αKFOo␈↓β␈αare␈αeight␈αdifferent␈αnames␈α--␈αalso,␈αescape␈αcharacters␈αand␈αanything␈αelse␈αmay␈αoccur␈αin
␈↓ αK
␈↓ αKthe␈α
body,␈α
see␈α
below)␈α
(U␈α
J␈α
CR)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂!<NAME>;
␈↓ ↓H
␈↓ αH␈↓β␈↓ αK(call␈αa␈αmacro,␈αi.e.␈αinsert␈αbody␈αfrom␈α
definition␈α
right␈α
here␈α
in␈α
input␈α
stream,␈α
hence␈α
occurrances
␈↓ αK
␈↓ αKof␈α
the␈α
escape␈α
character␈α
in␈α
the␈α
body␈α
will␈α
cause␈α
things␈α
to␈α
occur␈α
now)␈α
(U␈α
J␈α
CR)
␈↓ αK
␈↓ ↓H␈↓1␈↓∂?<NAME>;␈↓ βH␈↓β(same syntax as above but generate nothing unless accumulator is positive) (U)
␈↓ ↓H
␈↓1␈↓∂@<FILNAM><UC>;␈↓ ∧H␈↓β(insert source file here then return to current file) (U J CR)
␈↓ ↓H
␈↓1␈↓∂α<FILNAM>;␈↓ βH␈↓β(insert source file here but don't come back here) (U)
␈↓ ↓H
␈↓ α_In␈αthe␈αabove,␈α␈↓∂<NAME>␈↓β␈αmay␈αbe␈αan␈αalphanumeric␈αstring␈αof␈αany␈αlength,␈α␈↓∂<FILNAM>␈↓β␈αis␈αa␈αstandard␈αfile␈αname
␈↓ ↓H
␈↓ ↓H␈↓∂FILNAM.EXT[P,P]␈↓β␈αwhich␈αmust␈αbe␈αeither␈αa␈αnon-pox␈αfile␈αwith␈αno␈αoccurrances␈αof␈αthe␈αescape␈αcharacter␈αor␈αa␈αpox
␈↓ ↓H
␈↓ ↓Hfile␈α⊂that␈α⊂does␈α⊂not␈α⊂begin␈α⊂with␈α⊂a␈α⊂bare␈α⊂escape␈α⊂character␈α⊂[see␈α∂POX.PRO[S,REM]␈α∂if␈α∂you␈α∂are␈α∂concerned␈α∂with␈α∂this
␈↓ ↓H
␈↓ ↓Hproblem],␈α
␈↓∂<OPEN>␈↓β␈α
and␈α
␈↓∂<CLOSE>␈↓β␈α
are␈α
a␈α
matching␈α
pair␈α
of␈α
parenthesis␈α
such␈α
as␈α
␈↓∂()␈α[]␈α{}␈α⊂⊃␈α<>␈↓β,␈αin␈αwhich␈αcase
␈↓ ↓H
␈↓ ↓Hoccurrances␈αof␈αthese␈αcharacters␈αin␈αthe␈αbody␈αmust␈αbe␈αcorrectly␈αmatched,␈αor␈αtwo␈αidentical␈αquoting␈αcharacters␈αsuch
␈↓ ↓H
␈↓ ↓Has␈α∞␈↓∂""␈α∞//␈α∞↓↓␈α∞⊗⊗␈α∞||␈α∞∂∂␈↓β,␈α∞in␈α∞which␈α∞case␈α∞the␈α∞quoting␈α∞character␈α∞is␈α∞not␈α∞allowed␈α
to␈α
occur␈α
in␈α
the␈α
body␈α
at␈α
all␈α
(the
␈↓ ↓H
␈↓ ↓Hcomplete␈α
current␈α
list␈α
of␈α
legal␈α
nesting␈α
and␈α
quoting␈α
characters␈α
may␈α
be␈α
found␈α
by␈α
examining␈α
the␈α
source␈α
for␈α
POX).
␈↓ ↓H
␈↓ α_<UC>␈αare␈αuncoupling␈αflags,␈αcurrently␈αunimplemented.␈αTheir␈αpurpose␈αwill␈αbe␈αto␈α
save␈α
various␈α
internal␈α
states
␈↓ ↓H
␈↓ ↓Hbefore␈αbeginning␈αto␈αinput␈αan␈αinserted␈αsource␈α
file,␈α
then␈α
to␈α
restore␈α
those␈α
states␈α
before␈α
returning␈α
so␈α
that␈α
the␈α
inserted
␈↓ ↓H
␈↓ ↓Hfile␈α∩won't␈α∩pass␈α∩undesired␈α∩side-effects␈α∩back␈α∩to␈α∩the␈α∩main␈α⊃program.␈α⊃In␈α⊃the␈α⊃absence␈α⊃of␈α⊃any␈α⊃<UC>␈α⊃flags,␈α⊃any
␈↓ ↓H
␈↓ ↓Hmacro-definitions␈α
or␈α
font␈α
compilations␈α
etc.␈α
done␈α
in␈α
the␈αinserted␈αsource␈αfile␈αwill␈αstay␈αin␈αeffect␈αafter␈αreturning␈αto
␈↓ ↓H
␈↓ ↓Hthe␈α
current␈α
file,␈α
a␈α
somtimes␈α
undesirable␈α
effect.
␈↓ ↓H

␈↓ ↓H
\|$F2␈↓ β'This writeup is ␈↓↓POX.POX[CSP,DOC] or [1,REM]  ␈↓βp.4 [edited 75.1.30]
␈↓ ↓H

␈↓ ↓H
␈↓↓␈↓ αHNOTES ON USING THE POX PROGRAM -- $ denotes the escape character
␈↓ ↓H

␈↓ ↓H
␈↓β␈↓ α_Various␈αrandom␈αthings␈αget␈αtyped␈αout␈αwhile␈αPOX␈αis␈αrunning,␈αin␈αaddition␈αto␈αtext␈α
in␈α
your␈α
input␈α
file␈α
appearing
␈↓ ↓H
␈↓ ↓Hafter␈α$;␈αand␈α$.␈α
For␈α
the␈α
most␈α
part␈α
you␈α
may␈α
ignore␈α
them.␈α
If,␈α
however,␈α
you␈α
want␈α
to␈α
know␈α
what␈α
some␈α
of␈α
them␈α
mean,
␈↓ ↓H
␈↓ ↓Hhere␈αis␈αa␈αpartial␈αlist:␈α⊂F␈αmeans␈αyou␈αare␈αbeginning␈αto␈αread␈αfrom␈αan␈αinput␈αfile.␈αF⊃␈α
means␈α
you␈α
are␈α
done␈α
with␈α
it.␈α
$Q
␈↓ ↓H
␈↓ ↓Hand␈α
$q␈α
mean␈α
you␈α
are␈α
using␈α
those␈α
new␈α
features.␈α[VQ]⊃␈αand␈α[TQ]⊃␈αmean␈αyou␈αare␈αenqueuing␈αa␈αvector␈αor␈αa␈αtext
␈↓ ↓H
␈↓ ↓Hoverlay␈αrespectively.␈α[V]␈αand␈α[T]␈αmean␈αyou␈αare␈αat␈αlast␈αoutputting␈αthe␈αsame,␈αsorted␈αaccording␈αto␈αY␈αvalue␈αof␈αtop
␈↓ ↓H
␈↓ ↓Hscan␈α
line.
␈↓ ↓H
␈↓ α_To␈α∂enable␈α∂new␈α∂features␈α∂implemented␈α∂from␈α∂1974␈α∂Nov␈α∂to␈α∞1975␈α∞Jan␈α∞30␈α∞which␈α∞conflict␈α∞with␈α∞old␈α∞features,
␈↓ ↓H
␈↓ ↓Hnamely␈α∞registers␈α∞"H"␈α∞and␈α∞"h"␈α
being␈α
purged␈α
in␈α
favor␈α
of␈α
height␈α
of␈α
font␈α
commands,␈α
the␈α
following␈α
command␈α
must
␈↓ ↓H
␈↓ ↓Hhave␈α∂been␈α∂executed␈α∂earlier␈α∂in␈α∂your␈α∂input␈α∞file:␈α∞␈↓1␈↓∂`'1;␈α∞--␈α∞the␈α∞side-effects␈α∞of␈α∞q-register␈α∞","␈α∞are
␈↓ ↓H
␈↓ ↓Hautomatically␈α⊂in␈α⊂effect␈α⊂and␈α⊂can␈α⊂not␈α⊂be␈α⊂inhibited.
␈↓ ↓H

␈↓ ↓H
␈↓↓␈↓ ¬QBacktrace package
␈↓ ↓H
␈↓β␈↓ α_There␈α∞are␈α∞3␈α∞kinds␈α∞of␈α∞errors:␈α∞(1)␈α∞FATAL␈α∞=␈α∞bugs␈α∞in␈α∞pox␈α∞or␈α∞user␈α∞errors␈α∞where␈α
the␈α
context␈α
of␈α
the␈α
error
␈↓ ↓H
␈↓ ↓Hwould␈αnot␈αhelp␈α(2)␈αE40F␈α=␈αfatal␈αbugs␈αin␈αthe␈αuser␈αfile␈αwhere␈αcontext␈αmight␈αbe␈αhelpful␈α(3)␈αE40␈α=␈αbugs␈αin␈α
the␈α
user
␈↓ ↓H
␈↓ ↓Hfile␈αfrom␈αwhich␈αit␈αmight␈αbe␈αpossible␈α
to␈α
continue␈α
if␈α
the␈α
parser␈α
is␈α
correctly␈α
synchronized␈α
or␈α
if␈α
it␈α
will␈α
re-synchronize
␈↓ ↓H
␈↓ ↓Hitself␈α
soon␈α
enough␈α
to␈α
be␈α
able␈α
to␈α
do␈α
the␈α
rest␈α
of␈α
the␈α
file␈α
mostly␈α
correctly.
␈↓ ↓H
␈↓ α_In␈α
(2)␈α
and␈α
(3)␈α
errors␈α
the␈α
error␈α
message␈α
is␈α
typed␈α
out,␈α
then␈α
the␈α
current␈α
level␈α
of␈α
macro␈α
expansion␈α
or␈αfile
␈↓ ↓H
␈↓ ↓Hinput␈αis␈αtyped␈αout␈αin␈αabout␈αthe␈αsame␈αway␈αas␈αthe␈αSAIL␈αcompiler␈αannounces␈αcompilation␈αerrors,␈αthen␈αthe␈αuser␈αhas
␈↓ ↓H
␈↓ ↓Hthe␈α
following␈α
options:
␈↓ ↓H
␈↓ α_(a)␈α
Hit␈α
P␈α
to␈α
proceed␈α
with␈α
the␈α
program␈α
[only␈α
type␈α
(3)␈α
errors],
␈↓ ↓H
␈↓ α_(b)␈αHit␈αT␈αto␈αpop␈αup␈αone␈αmacro␈αlevel␈αand␈αdo␈αa␈αcontext␈αdisplay␈αthere␈αtoo␈α[this␈αis␈αillegal␈αif␈α
the␈α
previous␈α
level
␈↓ ↓H
␈↓ ↓Hdisplayed␈αwas␈αa␈αfile␈αrather␈αthan␈αa␈α
macro]␈α
[the␈α
pop-up␈α
is␈α
for␈α
the␈α
displayed␈α
output␈α
only,␈α
it␈α
doesn't␈α
change␈α
the␈α
point
␈↓ ↓H
␈↓ ↓Hwhere␈α
the␈α
program␈α
would␈α
resume␈α
if␈α
P␈α
were␈α
hit␈α
later],
␈↓ ↓H
␈↓ α_(c)␈α
Hit␈α
E␈α
to␈α
return␈α
to␈α
display␈α
editor␈α
at␈α
this␈α
location␈α
in␈α
the␈α
input␈α
file
␈↓ ↓H
␈↓ α_(d)␈α
Hit␈α
<CALL>␈α
to␈α
do␈α
something␈α
else␈α
like␈α
enter␈α
RAID␈α
or␈α
give␈α
up␈α
entirely.␈α
If␈α
you␈αwant␈αto␈αexamine␈αyour
␈↓ ↓H
␈↓ ↓Houtput␈α
file␈α
in␈α
the␈α
context␈α
of␈α
how␈α
the␈α
XGP␈α
service␈α
parses␈α
it,␈α
RU␈α
XGPTYP[XGP,REG].␈α
A␈α
useful␈α
technique␈α
is␈α
to␈α
do␈α
this
␈↓ ↓H
␈↓ ↓Hto␈αboth␈αoutput␈αfrom␈αa␈αbackup␈αworking␈αversion␈αof␈αyour␈αfile␈αand␈αoutput␈αfrom␈αthe␈αversion␈αyou␈αare␈αdebugging,␈αthen
␈↓ ↓H
␈↓ ↓HR␈α
SRCCOM␈α
and␈α
TTY:←<OLD␈α
XGPTYP␈α
LISTING>,<NEW␈α
XGPTYP␈α
LISTING>.
␈↓ ↓H
␈∧d@∞l↓␈∧dd∞l↓␈∧dd↓\␈β↓H␈↓α␈↓ β⊗This writeup is ␈↓↓POX.POX[CSP,DOC] or [1,REM]  ␈↓βp.5 [EDITED 75.1.30]
␈↓ ↓H

␈↓ ↓H
␈↓∧Example showing how to do a simple subscript:
␈↓ ↓H
␈↓1␈↓∂F3x␈↓1␈↓∂∪1␈↓1␈↓∂⊗+x␈↓1␈↓∂∪2␈↓1␈↓∂⊗+...+x␈↓1␈↓∂∪n␈↓1␈↓∂⊗
␈↓ ↓H
␈↓βx␈↓#s1␈↓#+x␈↓#s2␈↓#+...+x␈↓#sn␈↓#
␈↓ ↓H

␈↓ ↓H
␈↓∧Example of making five columns on a page, $ is the escape char:␈↓β
␈↓ ↓H
␈↓∂$←R$-L$/'5;$→W$;␈↓ ∧H␈↓ ¬H␈↓ εHq-reg W contains width of a column
␈↓ ↓H
$←L$→1$+W$→2$+W$→3$+W$→4$+W$→5$;␈↓ εHq-reg's 1,2,3,4,5 contain the column loc's
␈↓ ↓H
$←1$→.Hello$←2$→.This$←3$→.Is$←4$→.A$←5$→.Test.
␈↓ ↓H
$←4$→.$F1X$←.$→a$F2$∩x+2-i$←.$→b$←a$→.$∪foo$←.$~b$→.$;
␈↓ ↓H
$⊗$F1+Y$←.$→a$F2$∩2$←.$→b$←a$→.$∪baz$←.$~b$→b$⊗$U4=20;=2;b$;
␈↓ ↓H
$←1$→.$F1You$←2$→.$F2Wonder$←3$→.$F3What$←5$→.$F4Means??
␈↓ ↓H
$←4$→.$F2  (x+y)$F3$∩4$FF+i$⊗
␈↓ ↓H
␈↓β␈↓ ↓HHello␈↓ βNThis␈↓ ¬TIs␈↓ πZA␈↓ 	`Test.
␈↓ ↓H
␈↓ πZ␈↓↓X␈↓α␈↓#
x+2-i␈↓ πm␈↓#sfoo␈↓ λ-␈↓#␈↓↓+Y␈↓α␈↓#
2␈↓ λR␈↓#sbaz␈↓#␈↓ πZ␈↓!∀↓#␈↓ πZ␈↓!∃↓#␈↓ λ⎇␈↓ ↓H␈↓↓You␈↓ βN␈↓αWonder␈↓ ¬T␈↓βWhat␈↓ 	`␈↓∧Means??
␈↓ ↓H
␈↓ πZ␈↓α  (x+y)␈↓β␈↓#
4␈↓∂␈↓#
+i␈↓#
␈↓ ↓H

␈↓ ↓H
␈↓∧Example of hidden characters, $ is the escape char:
␈↓ ↓H
␈↓∂$FF$'0;$'11;$'12;$'14;$'15;$'177;
␈↓ ↓H
␈↓∂␈␈	␈
␈␈
␈␈
␈↓ ↓H

␈↓ ↓H
␈↓∧Example of what a recursive macro can do, \ is the escape char:
␈↓ ↓H
␈↓∂\∞ONEROW⊂\←K\-'1;\→K\?ONEROW;.........⊃\;
␈↓ ↓H
\∞ALLROWS⊂\←N\→K\-'1;\→N\!ONEROW;
␈↓ ↓H
\←N\?ALLROWS;⊃\;
␈↓ ↓H
\←'6;\→N\!ALLROWS;
␈↓ ↓H
␈↓β......................................................
␈↓ ↓H
.............................................
␈↓ ↓H
....................................
␈↓ ↓H
...........................
␈↓ ↓H
..................
␈↓ ↓H
.........
␈↓ ↓H

␈↓ ↓H
␈↓β␈↓ β←The commands that caused the following formulas to be displayed
␈↓ ↓H
␈↓β␈↓ ∧}are too complicated to show you here.
␈↓ ↓H
␈↓β␈↓ β~If you want to find out how to do it, look at the last page of POX.POX[1,REM]
␈↓ αK

␈↓ ↓H
␈↓∧␈↓¬␈↓ε␈↓π␈↓λ␈↓	␈↓¬␈↓¬    ␈↓#oπ␈↓#
␈↓ ↓s1␈↓ ↓p␈↓!z∀␈↓ ↓p␈↓!{∀␈↓ α␈↓#␈↓ α∧  =  ␈↓#f16␈↓#
␈↓ αB5␈↓ α<␈↓!z~␈↓ α<␈↓!{~␈↓ αO␈↓#␈↓ αV  +  ␈↓π␈↓#rS␈↓#↑␈↓ε␈↓#↑␈↓ βk≥1␈↓ β/␈↓¬␈↓#↑␈↓# ␈↓#≥(42 k + 5) ␈↓#∃␈↓	␈↓#∃(␈↓¬␈↓#∃␈↓#*2 k - 1␈↓#∃␈↓	␈↓#∃)␈↓¬␈↓#∃␈↓#
␈↓ ∧`k␈↓#≥␈↓ ¬≤␈↓#.␈↓ε␈↓#.3␈↓#≥␈↓¬␈↓#≥␈↓#[␈↓ ∧
2␈↓#l␈↓ε␈↓#l12k+1␈↓#[␈↓¬␈↓#[␈↓ β9␈↓!z↓n␈↓ β9␈↓!{↓n␈↓ ∧R␈↓#␈↓ ¬'␈↓∧         (Exact binary (and decimal) fractions)␈↓¬  ␈↓ 
(␈↓ 	V␈↓¬
␈↓ ↓H
    ␈↓λz␈↓¬(2)  =  ␈↓#
π␈↓#≡␈↓ε␈↓#≡2␈↓#
␈↓¬␈↓#
␈↓#f␈↓ α\6␈↓ αS␈↓!z∨␈↓ αS␈↓!{∨␈↓ αi␈↓#␈↓ αr  =  ␈↓π␈↓#rS␈↓#↑␈↓ε␈↓#↑␈↓ β+k≥1␈↓ βN␈↓¬␈↓#↑␈↓# ␈↓#[k␈↓#l␈↓ε␈↓#l3␈↓#[␈↓¬␈↓#[ ␈↓#S␈↓	␈↓#S(␈↓¬␈↓#S␈↓#h2 k␈↓#S␈↓	␈↓#S)␈↓¬␈↓#S␈↓#H␈↓ ∧⊃k␈↓#[␈↓ ∧6␈↓#l␈↓ε␈↓#l3␈↓#[␈↓¬␈↓#[␈↓#
␈↓ β\21 k - 8␈↓ βX␈↓!zi␈↓ βX␈↓!{i␈↓ ∧=␈↓#␈↓ ∧A␈∧@εR␈x@β⊂α␈∧@εRπ@β⊂α␈∧
$
∀␈|2≡␈∧
$β⊂∧2≡